document.write (" 12252 ");