document.write("6012 ");