document.write (" 18707 ");