document.write('7 5 8 8 ');