document.write (" 12939 ");