document.write (" 12356 ");