document.write (" 12934 ");