if (is_opera5up) {
document.write('<div id="width">');
}