document.write (" 3172 ");