document.write (" 11934 ");