document.write("<a name='TOP'>");
document.write("<table width='100%' cellpadding='0' cellspacing='0' border='0' class='head'>");
document.write("<tr class='head_5'><td>&nbsp;</td></tr>");
document.write("<tr class='head_2'><td>2nd IEEE International Conference on</td></tr>");
document.write("<tr class='head_2'><td>&nbsp;</td></tr>");
document.write("<tr class='head_1'><td>SOFTWARE ENGINEERING AND FORMAL METHODS</td></tr>");
document.write("<tr class='head_1'><td>&nbsp;</td></tr>");
document.write("<tr class='head_2'><td>Beijing - China</td></tr>");
document.write("<tr class='head_2'><td>26 - 30 September, 2004</td></tr>");
document.write("<tr class='head_5'><td>&nbsp;</td></tr>");
document.write("<tr class='head_6'><td>&nbsp;</td></tr>");
document.write("<tr class='head_3'><td> S E F M&nbsp;&nbsp;&nbsp; 2 0 0 4 </td></tr>");
document.write("<tr class='head_6'><td>&nbsp;</td></tr>");
document.write("<tr class='head_5'><td>&nbsp;</td></tr>");
document.write("<tr class='head_4'><td>jointly organised by</td></tr>");
document.write("<tr class='head_5'><td>&nbsp;</td></tr>");
document.write("</table>");
document.write("<table width='100%' cellpadding='0' cellspacing='0' border='0' class='head'>");
document.write("<tr class='head_7'><td width='25%'></td><td width='25%'><a href='http://www.pku.edu.cn/eindex.html'><img src='images/school_badge.jpeg' border='0'><br>Peking University</a></td><td width='25%'><a href='http://www.iist.unu.edu'><img src='/www/image/unuiist.jpg' width='202' height='107' border='0'><br>UNU/IIST</a></td><td width='25%'></td></tr>"); 
document.write("<tr class='head_5'><td>&nbsp;</td></tr>"); 
document.write("</table>");