Event handler bug

export function button4_mouseIn(event, $w) {
$w(“#button4”).show()
//Add your code for this event here:
}