document.write('6412 ');