document.write (" 3141 ");