document.write (" 10812 ");