document.write (" 12236 ");