document.write (" 10012 ");