document.write (" 3171 ");