document.write (" 13422 ");