SAMSUNG GT-I5700 re-boot factory reset

My SAMSUNG Galaxy Portal GT-I5700 has just completely hung because i loaded too many programs and ran out of internal memory !

But thanks to the web i've found out how to  reboot / factory reset:

http://forumuk.samsungmobile.com/PostsList.aspx?ThreadID=216345

says

• press VOL DOWN + CALL BEGIN + CALL END
• wait for power on
• let go of press CALL BEGIN+ CALL END
• wait for strange ! ICON !
• press ^MENU button

See also

http://www.samsung.com/uk/support/search/&searchWord=GTI7500