document.write("6212 ");