document.write (" 6967 ");