document.write (" 12903 ");