document.write (" 9412 ");