There is a great tool at timeanddate dot com, namely Time Zone Converter. Enter any locations you need to compare and the time you want.
In this particular case, 12:30 in Manila gets you to 0:30 EDT (like Washington, DC). Yes, that is 12:30 a.m. - of the same day (EDT zone is 12 hrs behind)