document.write (" 12852 ");