document.write (" 12268 ");