document.write (" 12355 ");