document.write('8679 ');