document.write (" 9012 ");