document.write (" 10253 ");