document.write (" 10967 ");