document.write('612472');