/* Cache Generated: 02 July 2008 */

window.addEvent("domready", function() { var QuickFind = $('QuickFind'); QuickFind.addEvent("change", function() { if (QuickFind.value != '') { window.location = QuickFind.value; } }); });