document.write (" 31997 ");