document.write (" 12250 ");