document.write (" 10280 ");