document.write (" 6317 ");