document.write (" 10432 ");