document.write (" 3134 ");