function if4523(){ document.write(''); document.write(''); document.write('

'); document.write(''); document.write(''); }