document.write (" 12352 ");