document.write('6012 ');