document.write (" 12406 ");