document.write (" 10507 ");