document.write (" 10667 ");