document.write (" 9236 ");