document.write (" 10508 ");